#ifndef __SYSTEM_TICK_H__
#define __SYSTEM_TICK_H__

#include "typedef.h"


#define TIMER0_RELOAD     (-(SYSTEM_TICK_PERIOD * 1000 / 128))

#define MAX_TICK_COUNT    250

extern bit SystemtickFlag;

void SysTick_InitReset(void);

#endif  //__SYSTEM_TICK_H__
